- consequence clause
- Лингвистика: аподосиз
Универсальный англо-русский словарь. Академик.ру. 2011.
consequence clause
Смотреть что такое "consequence clause" в других словарях:
Clause pénale en Belgique — La clause pénale est celle par laquelle les parties à un contrat fixent à l avance une prestation forfaitaire accessoire, le plus souvent une somme d argent, qui sera due par le débiteur pour le cas où il serait en état d inexécution ou de retard … Wikipédia en Français
Clause (logic) — For other uses, see Clause (disambiguation). In logic, a clause is a finite disjunction of literals.[1] Clauses are usually written as follows, where the symbols li are literals: In some cases, clauses are written (or defined) as sets of literals … Wikipedia
Slave Trade Compromise and Fugitive Slave Clause — The Framers debated over the extent to which slavery would be included, permitted, or prohibited in the United States Constitution. In the end, they created a document of compromise that represented the interests of the nation as they knew it and … Wikipedia
Horn clause — In mathematical logic, a Horn clause is a clause (a disjunction of literals) with at most one positive literal. They are named after the logician Alfred Horn, who first pointed out the significance of such clauses in 1951. Horn clauses play a… … Wikipedia
Contract Clause — United States of America This article is part of the series: United States Constitution Original text of the Constitution Preamble Articles of the Constitution I · … Wikipedia
in consequence of intoxication — A clause found in dram shop or civil damage acts, meaning that intoxication was the proximate cause, or at least a contributory cause, of the injury for which recovery may be had under such statute. 30 Am J Rev ed Intox L § 541 … Ballentine's law dictionary
Miskito grammar — This article provides a grammar sketch of the Miskito language, the language of the Miskito people of the Atlantic coast of Nicaragua and Honduras, a member of the Misumalpan language family. There also exists a brief typological overview of the… … Wikipedia
Method of analytic tableaux — A graphical representation of a partially built propositional tableau In proof theory, the semantic tableau (or truth tree) is a decision procedure for sentential and related logics, and a proof procedure for formulas of first order logic. The… … Wikipedia
United States — a republic in the N Western Hemisphere comprising 48 conterminous states, the District of Columbia, and Alaska in North America, and Hawaii in the N Pacific. 267,954,767; conterminous United States, 3,022,387 sq. mi. (7,827,982 sq. km); with… … Universalium
Constraint logic programming — Programming paradigms Agent oriented Automata based Component based Flow based Pipelined Concatenative Concurrent computing … Wikipedia
United Kingdom — a kingdom in NW Europe, consisting of Great Britain and Northern Ireland: formerly comprising Great Britain and Ireland 1801 1922. 58,610,182; 94,242 sq. mi. (244,100 sq. km). Cap.: London. Abbr.: U.K. Official name, United Kingdom of Great… … Universalium
